# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

inherit eutils

DESCRIPTION="Alt-Ergo is an automatic theorem prover dedicated to program verification."
HOMEPAGE="http://alt-ergo.lri.fr/"
SRC_URI="http://alt-ergo.lri.fr/http/${P}.tar.gz"

LICENSE="as-is"
SLOT="0"
KEYWORDS="x86"

IUSE="dev-ml/ocamlgraph"
DEPEND=""
RDEPEND="${DEPEND}"

src_unpack() {
	unpack ${A}
	cd ${S}
	epatch ${FILESDIR}/${P}-ocamlgraph.patch
}

src_compile() {
	econf || die
	emake || die
}

src_install() {
	dodir /usr/bin

	myconf="prefix=${D}usr MANDIR=${D}usr/share/man"
	emake ${myconf} install || die
}
